System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
951	Efficient Analyses for Realistic Off-Line Partial Evaluation: Extended Version DIKU technical report 93/4, ISSNAnders Bondorf & Jesper Jørgensen DIKU, Department of Computer Science, University of Copenhagen, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:55 Computer programming Data-flow analysis Type system Lambda calculus Closure Constraint logic programming Constraint satisfaction Software engineering Constraint programming Computing
952	The Linux Kernel Module Programming Guide Peter Jay Salzman Michael Burian Ori Pomerantz Copyright © 2001 Peter Jay Salzman 2007−05−18 ver 2.6.4 Add to Reading List Source URL: ldp.pakuni.net Language: English - Date: 2007-05-18 09:35:08 Linux kernel Special purpose file systems Linux FreeBSD Loadable kernel module Modprobe Kernel Lsmod Monolithic kernel Computer architecture Software System software
953	-calculus Classical Realizability Channels and their reduction Add to Reading List Source URL: lepigre.fr Language: English - Date: 2014-10-13 07:48:11 Type theory Mathematical constructivism Realizability Stack Type system Calculus C Programming language theory Software engineering Computing
954	Implementing Arrays and Tensors with Ruby and libJIT J. Wedekind, H. Abdul-Rahman, M. Howarth, K. Dutton Materials and Engineering Research Institute Sheffield Hallam University Sheffield S1 1WB, UK {J.Wedekind,H.Abdul-R Add to Reading List Source URL: www.wedesoft.de Language: English - Date: 2014-04-27 12:31:04 Data types Array data type Array data structure Ruby Array programming Pointer Tensor Type system C Software engineering Computing Computer programming
955	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: cran.stat.nus.edu.sg Language: English Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
956	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: mirrors.nic.cz Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
957	Demand Based Hierarchical QoS Using Storage Resource Pools Ajay Gulati, Ganesha Shanmuganathan VMware Inc {agulati, sganesh}@vmware.com Abstract Add to Reading List Source URL: www.usenix.org Language: English - Date: 2015-05-28 22:53:56 VMware Programming language implementation Virtual machine Hyper-V IOPS OpenVMS Scheduling Scalability Computing System software Software
958	GNU Emacs 21 Reference Card Motion Starting Emacs Add to Reading List Source URL: ctieware.eng.monash.edu.au Language: English - Date: 2008-01-03 04:01:16 Text editors Cross-platform software Procedural programming languages User interface techniques Incremental search C Lisp X Window System Software Computing Emacs
959	USING THE PIC17CXX ADAPTER The PIC17CXX adapter (part#APIC17) allows the Andromeda Research EPROM+ programming system to support the complete 17CXX family of 16 bit microcontrollers from Microchip. These include the 17C4 Add to Reading List Source URL: www.arlabs.com Language: English - Date: 2014-02-13 22:42:10 Integrated circuits Non-volatile memory Computer memory Electrical wiring Fuse EPROM Microcontroller Atmel AVR Electronics Electronic engineering Electromagnetism
960	Research Brief UNIX/Linux and Windows - the Power of an Integrated, All-in-One, Familiar Environment Introduction A recent IBM information technology (IT) market study shows that labor now accounts for seventy percent of Add to Reading List Source URL: mkssoftware.com Language: English Unix Compilers Application programming interfaces Cross-platform software Computing platforms Interix Cygwin Windows Services for UNIX MKS Toolkit Software System software Computing